Issue2348-hidden-hidden-same-name.agda:27,8-9
b != Wrap.out w of type B
when checking that the expression p has type
P (proj-like {A = _} {A = w})
